package coverage;

public class RunRandoopBinoHeap {
public static void main(String[] args) {
		
	    args = new String[]{"gentests", "--testclass=binoheap.BinomialHeap",
	        "--junit-classname=RandoopTestBinoHeap", "--junit-output-dir=./subjects",
	        "--junit-package-name=coverage.randoopgen", "--timelimit=10"};
	    randoop.main.Main.main(args);
	  }
}
